Testing timed systems modeled by stream X-machines

Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this paper we introduce an extension of the Stream X-machines formalism in order to specify systems that present temporal requirements. We add time in two different ways. First, we consider that (output) actions take time to be performed. Second, our formalism allows to specify timeouts. Timeouts represent the time a system can wait for the environment to react without changing its internal state. Since timeous affect the set of available actions of the system, a relation focusing on the functional behavior of systems, that is, the actions that they can perform, must explicitly take into account the possible timeouts. In this paper we also propose a formal testing methodology allowing to systematically test a system with respect to a specification. Finally, we introduce a test derivation algorithm. Given a specification, the derived test suite is sound and complete, that is, a system under test successfully passes the test suite if and only if this system conforms to the specification

Studies of new Higgs boson interactions through nonresonant HH production in the b¯bγγ fnal state in pp collisions at √s = 13 TeV with the ATLAS detector

A search for nonresonant Higgs boson pair production in the b ¯bγγ fnal state is performed using 140 fb−1 of proton-proton collisions at a centre-of-mass energy of 13 TeV recorded by the ATLAS detector at the CERN Large Hadron Collider. This analysis supersedes and expands upon the previous nonresonant ATLAS results in this fnal state based on the same data sample. The analysis strategy is optimised to probe anomalous values not only of the Higgs (H) boson self-coupling modifer κλ but also of the quartic HHV V (V = W, Z) coupling modifer κ2V . No signifcant excess above the expected background from Standard Model processes is observed. An observed upper limit µHH < 4.0 is set at 95% confdence level on the Higgs boson pair production cross-section normalised to its Standard Model prediction. The 95% confdence intervals for the coupling modifers are −1.4 < κλ < 6.9 and −0.5 < κ2V < 2.7, assuming all other Higgs boson couplings except the one under study are fxed to the Standard Model predictions. The results are interpreted in the Standard Model efective feld theory and Higgs efective feld theory frameworks in terms of constraints on the couplings of anomalous Higgs boson (self-)interactions

Measurement of the H → γ γ and H → ZZ∗ → 4 cross-sections in pp collisions at √s = 13.6 TeV with the ATLAS detector

The inclusive Higgs boson production cross section is measured in the di-photon and the Z Z∗ → 4 decay channels using 31.4 and 29.0 fb−1 of pp collision data respectively, collected with the ATLAS detector at a centre of-mass energy of √s = 13.6 TeV. To reduce the model dependence, the measurement in each channel is restricted to a particle-level phase space that closely matches the chan nel’s detector-level kinematic selection, and it is corrected for detector effects. These measured fiducial cross-sections are σfid,γ γ = 76+14 −13 fb, and σfid,4 = 2.80 ± 0.74 fb, in agreement with the corresponding Standard Model predic tions of 67.6±3.7 fb and 3.67±0.19 fb. Assuming Standard Model acceptances and branching fractions for the two chan nels, the fiducial measurements are extrapolated to the full phase space yielding total cross-sections of σ (pp → H) = 67+12 −11 pb and 46±12 pb at 13.6 TeV from the di-photon and Z Z∗ → 4 measurements respectively. The two measure ments are combined into a total cross-section measurement of σ (pp → H) = 58.2±8.7 pb, to be compared with the Stan dard Model prediction of σ (pp → H)SM = 59.9 ± 2.6 p

Searches for lepton-flavour-violating decays of the Higgs boson into eτ and μτ in \sqrt{s} = 13 TeV pp collisions with the ATLAS detector

Abstract This paper presents direct searches for lepton flavour violation in Higgs boson decays, H → eτ and H → μτ, performed using data collected with the ATLAS detector at the LHC. The searches are based on a data sample of proton-proton collisions at a centre-of-mass energy s $$\sqrt{s}$$ = 13 TeV, corresponding to an integrated luminosity of 138 fb−1. Leptonic (τ → ℓνℓντ) and hadronic (τ → hadrons ντ) decays of the τ-lepton are considered. Two background estimation techniques are employed: the MC-template method, based on data-corrected simulation samples, and the Symmetry method, based on exploiting the symmetry between electrons and muons in the Standard Model backgrounds. No significant excess of events is observed and the results are interpreted as upper limits on lepton-flavour-violating branching ratios of the Higgs boson. The observed (expected) upper limits set on the branching ratios at 95% confidence level, B $$\mathcal{B}$$ (H → eτ) < 0.20% (0.12%) and B $$\mathcal{B}$$ (H → μτ ) < 0.18% (0.09%), are obtained with the MC-template method from a simultaneous measurement of potential H → eτ and H → μτ signals. The best-fit branching ratio difference, B $$\mathcal{B}$$ (H → μτ) → B $$\mathcal{B}$$ (H → eτ), measured with the Symmetry method in the channel where the τ-lepton decays to leptons, is (0.25 ± 0.10)%, compatible with a value of zero within 2.5σ

Model-independent search for the presence of new physics in events including H → γγ with s \sqrt{s} = 13 TeV pp data recorded by the ATLAS detector at the LHC

Abstract A model-independent search for new physics leading to final states containing a Higgs boson, with a mass of 125.09 GeV, decaying to a pair of photons is performed with 139 fb−1 of s $$\sqrt{s}$$ = 13 TeV pp collision data recorded by the ATLAS detector at the Large Hadron Collider at CERN. This search examines 22 final states categorized by the objects that are produced in association with the Higgs boson. These objects include isolated electrons or muons, hadronically decaying τ-leptons, additional photons, missing transverse momentum, and hadronic jets, as well as jets that are tagged as containing a b-hadron. No significant excesses above Standard Model expectations are observed and limits on the production cross section at 95% confidence level are set. Detector efficiencies are reported for all 22 signal regions, which can be used to convert detector-level cross-section limits reported in this paper to particle-level cross-section constraints